<div id="banner">
    <!-- <div id="bannercon"> -->
	    

		<?php echo CheckLoggedIn() ? "Welcome ".$_SESSION['full_name'] : ""; ?>
		
	<!-- </div> -->
</div>